Se analizan los argumentos de la obra cartesiana en torno a la tesis dualista del autor. Al rechazar que el dualismo cartesiano sea un tipo de dualismo ontológico, se indaga sobre los conceptos fundamentales de la filosofía cartesiana, en la búsqueda de una caracterización más apropiada de la propuesta de Descartes. Analizando la “distinción real” entre la mente y el cuerpo, se llega a la afirmación de que el dualismo cartesiano es un dualismo de atributos que implica el dualismo sustancial, (...) teniendo en cuenta los principios metafísicos y epistemológicos del autor. (shrink)

The aim of this essay is to analyze the concept of acquaintance in the philosophy of Bertrand Russell. First, Russell’s epistemological program and works are presented in a general manner. Then, the concept of acquaintance is defined and characterized, as well as the so-called principle of acquaintance. After that, acquaintance is placed in Russell’s epistemology as the core of his theory of knowledge. Finally, I will make some critical remarks concerning the role of acquaintance in Russell’s epistemological framework.

Se analizan las principales propuestas ontológicas con respecto a la naturaleza de la experiencia humana, en el contexto de la filosofía de la mente. Por un lado, se examinan distintas formas de dualismo, tomando como criterio de definición la irreducibilidad de lo mental. Por otro lado, se exploran distintas formas de materialismo, tomando como criterio de definición la posibilidad de la reducción de lo mental, así como la posibilidad de su eliminación. Mediante este análisis, se busca esclarecer los presupuestos ontológicos, (...) implícitos y explícitos, que determinan la naturaleza de cada una de las propuestas. (shrink)

El objetivo de este ensayo es analizar la propuesta de Bergson sobre la experiencia consciente. Al revisar las obras del autor en las que se trata el tema de la experiencia consciente, se hace notable que el autor carece de precisión con respecto asus argumentos y conceptos; no obstante,las ideas que se expresan a lo largo de susescritos son dignas de un trabajo interpretativo. Se trata de una exposiciónde los elementos fundamentales parauna comprensión apropiada del puntode vista de Bergson. Este (...) recorridopermite vislumbrar el carácter de latesis dualista del autor, así como también su posición frente al problema mente-cuerpo. (shrink)

El objetivo del presente ensayo es el de examinar las características de los tipos de análisis conceptual propuestos por Jackson en From Metaphysics to Ethics y de Strawson en Análisis y Metafísica. Se quieren confrontar dos tipos de análisis conceptual: Por una parte, se pretende aclarar algunos aspectos característicos del tipo de análisis conceptual propuesto por cada autor, desde el punto de vista metodológico, y, por otra, caracterizar la naturaleza de lo que cada uno considera como conceptos básicos del análisis.

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

RESUMO A alimentação é o fator que mais onera um sistema de produção animal. Assim, a utilização de diferentes estratégias de alimentação dos animais ainda é o grande desafio da nutrição animal, principalmente, levando em consideração as exigências nutricionais de diferentes categorias de ruminantes, em especial bovinos em regiões tropicais, haja vista que a sazonalidade na produção de forragens afeta diretamente a produção bovina, promovendo inadequação no atendimento das exigências nutricionais dos animais principalmente em minerais e vitaminas. Uma alimentação que (...) não atenda as exigências nutricionais dos ruminantes gera prejuízos no sistema de produção, além de, em casos mais graves, ocasionar a perda do animal. Estudos que abordam o efeito e a importância de vitaminas e minerais na nutrição bovina são escassos e necessários. Recentemente a National Research Council (NRC) apresentou novos registros das exigências nutricionais das vitaminas e minerais. Essas alterações proporcionam um impacto econômico significativo em relação à nutrição animal. Nesse sentido, objetivou-se com esta revisão trazer informações acerca de vitaminas e minerais na nutrição de bovinos em pastejo. -/- Palavras-chave: Alimentação animal; forragem; pastagem; requerimentos nutricionais; ruminantes; vitaminas lipossolúveis (Source: AGROVOC). -/- ABSTRACT Animal feed is the factor that most burdens a production system. Thus, the use of different animal feeding strategies is still the great challenge of animal nutrition, taking into account the nutritional requirements of different categories of ruminants, especially cattle in tropical regions, given that seasonality in forage production directly affects cattle production, promoting inadequacy in meeting the nutritional requirements of animals, mainly in minerals and vitamins. A diet that does not meet the nutritional requirements of ruminants generates losses in the production system, in addition to, in more serious cases, causing the loss of the animal. Studies that address the effect and importance of vitamins and minerals in bovine nutrition are scarce and necessary. Recently the National Research Council (NRC) presented new records of the nutritional requirements of vitamins and minerals. These changes provide a significant economic impact on animal nutrition. In this sense, the objective of this review was to bring information about vitamins and minerals in the nutrition of grazing cattle. -/- Keywords: Animal feeding; fat soluble vitamins; forage; nutritional requirements; pasture feeding; ruminants (Source: AGROVOC). -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- 1. Cavalcanti CPL, Silva e Macedo TJ, Gois GC, Menezes VG, Monte APO, Silva AD, Silva DJM, Silva EO, Araújo GGL, Rodrigues RTS, Wischral A, Matos MHT, Queiroz MAA. Licuri oil improves feedlot performance and modifies ruminal fauna of Santa Inês ewes. Liv Sci. 2022; 265:e105093. 2. Busato KC, Chizzotti ML, Rodrigues RTS, Silva TS, Silva IF, Queiroz MAA, Silva KT, Borges JC, Gois GC. Ingestive behavior and growth performance of boer crossbred and indigenous goat kids under different feeding levels in Semiarid Region in Brazil. Trop Agric Res. 2022; 33:299-309. 3. Patton J, Dineen M, Keady TWJ, McGee M, Waters S. Developments in nutrition for pasture-based cattle and sheep systems in Ireland. Irish J Agric Food Res. 2022; 61(1):12-37. 4. McAllister TA, Stanford K, Chaves AV, Evans PR, Figueiredo, EES, Ribeiro G. Nutrition, feeding and management of beef cattle in intensive and extensive production systems. Chapter 5. In: Bazer FW, Lamb GC, Wu G, editors. Animal Agriculture. Sustainability, Challenges and Innovations. 1st ed. Elsevier Inc.: Academic Press; 2020. 5. Byrne L, Murphy RA. Relative bioavailability of trace minerals in production animal nutrition: A review. Anim. 2022; 12:e1981. 6. Arthington JD, Ranches J. Trace mineral nutrition of grazing beef cattle. Anim. 2021; 11:e2767. 7. Silva NCD, Martins TLT, Borges I. Efeito dos microminerais na alimentação de ruminantes. Ci Anim. 2017; 27:75-98. 8. Tufarelli V, Ragni M, Laudadio V. Feeding forage in poultry: A promising alternative for the future of production systems. Agric. 2018; 8:1-10. 9. Elgersma A, Søegaard K, Jensen SK. Fatty acids, α-tocopherol, β-carotene, and lutein contents in forage legumes, forbs, and a grass–clover mixture. J Agric Food Chem. 2013; 61:11913–11920. 10. Collet SG, Demeda MA, Taffarel GV, Taffarel L, Girardini LK, Nesi CNH, et al. Efeito de um suplemento mineral traço e vitaminas A e E injetáveis sobre a produção e composição de leite em vacas Holandesas. Rev Ci Agrovet. 2017; 16:463-472. 11. Silva NCD, Martins TLT, Borges I. Macrominerais: Deficiências E Interações Com A Produção E Nutrição De Ruminantes. Scient Agr Paranaensis. 2018; 17:263-271. 12. Danieli B, Schogor ALB. Uso de aditivos na nutrição de ruminantes: revisão. Vet Zootec. 2020; 27:1-13. 13. Goff JP. Invited review: Mineral absorption mechanisms, mineral interactions that affect acid–base and antioxidant status, and diet considerations to improve mineral status. J Dairy Sci. 2018; 101:2763–2813. 14. NRC. National Research Council. Nutrient requirements of beef cattle. 8th ed.Washington, DC.: The National Academy Press; 2016. 15. Silva LFC, Valadares Filho SC, Engle TE, Rotta PP, Marcondes MI, Silva FAZ, et al. Macrominerals and trace element requirements for beef cattle. Plus One. 2015; 10:e0144464. 16. Miranda MMF, Ferrarezi Junior E, Cavichioli FA. Boas práticas agropecuárias: Os benefícios da suplementação alimentar em ruminantes. Int Tec. 2021; 18:455-465. 17. Bhanderi BM, Goswami A, Garg MR, Samanta S. Study on minerals status of dairy cows and their supplementation through área specific mineral mixture in the state of Jharkhand. J Anim Sci Techn. 2016; 58:1-8. 18. Rezende FV, Silva NCD, Florentino LA, Rezende AV. Minerais: fatores que interferem na biodisponibilidade de macro e microminerais para fêmeas ruminantes durante o período de gestação. Nucleus Anim. 2019; 11:123-136. 19. NRC. National Research Council. Nutrient requeriments of dairy cattle. 7th rev.ed. Washinton, DC.: The National Academy Press; 2001. 20. Marku A, Galli A, Marciani P, Dule N, Perego C, Castagna M. Iron metabolism in pancreatic beta-cell function and dysfunction. Cells. 2021; 10:e2841. 21. DA SILVA, Emanuel Isaque Cordeiro. Nutrição e Suplementação Mineral de Bovinos de Corte. Emanuel Isaque Cordeiro da Silva, 2021. 22. Suganya A, Saravanan A, Manivannan N. Role of zinc nutrition for increasing zinc availability, uptake, yield, and quality of maize (Zea mays L.) grains: An overview. Commun Soil Sci Plant An. 2020; 51:2001-2021. 23. Byrne L, Murphy RA. Relative bioavailability of trace minerals in production animal nutrition: A review. Anim. 2022. 12:e1981. 24. Valentim JK, Mendes JP, Przybulinski BB, Serpa FC, Barbosa DK, Castilho VAR, et al. Fatores nutricionais aplicados à reprodução de ruminantes. Rev Uniciên. 2019; 23:77-82. 25. Martins KPF, Fonseca TRS, Silva ES, Munhoz TCP, Dias, GHS, Glauco JN, et al. Bócio em bovino. Pesq Vet Bras. 2018; 38:1030-1037. 26. González-Montaña JR, Escalera-Valente F, Alonso AJ, Lomillos JM, Robles R, Alonso ME. Relationship between vitamin B12 and cobalt metabolism in domestic ruminant: An update. Anim. 2020; 10:e1855; 27. Ventura RA, Cuzzuol GD, Silva TB, Malegoni ACS, Roque LZ, OLiveira SFC, et al. Deficiência de cobalto em bovinos: Revisão. Pubvet. 2021; 15:1-4. 28. Lopes HOS. Suplementação de Baixo Custo para Bovinos Mineral e Alimentar. 1st ed. Brasília, DF: Embrapa Cerrados; 1998. 29. Paul SH, Usman AA, Gana IN, Manase A, Adeniyi OD, Olutoye MA. Comparative study of mineral and nutritional composition of a multifunctional flora composite formulated from seven medicinal plants and their applications to human health. Eng Techn Open Access J. 2018; 1:137-150. 30. Zhou J, Zhang J, Xue B, Yue S, Yang C, Xue B. Effects of premating calcium and phosphorus supplementation on reproduction efficiency of grazing yak heifers. Anim. 2021; 11:1-9. 31. Harder H, Khol-Parisini A, Metzler-Zebeli BU, Klevenhusen F, Zebeli Q. Treatment of grain with organic acids at 2 different dietary phosphorus levels modulates ruminal microbial community structure and fermentation patterns in vitro. J Dairy Sci. 2015; 98:8107–8120. 32. Jain RK, Mudgal V. Phosphorus deficiency influences rumen microbial activity: Review. Int J Zoo Anim Biol. 2021; 4:1-9. 33. Barreto JC, Branco AF, Santos GT, Magalhães VJA, Coneglian SMC, Teixeira S. Avaliação dos efeitos de fontes de fósforo na dieta sobre parâmetros do meio ruminal e eficiência de síntese microbiana, digestibilidade dos nutrientes e fósforo plasmático em bovinos. Rev Bras Zootec. 2009; 38:760-769. 34. Yamada S, Inaba M. Potassium metabolism and management in patients with CKD. Nutr. 2021; 13:1-19. 35. Martinsen TC, Fossmark R, Waldum HL. The phylogeny and biological function of gastric juice—Microbiological consequences of removing gastric acid. Int J Mol Sci. 2019; 20:1-22. 36. González FHD, Silva SC. Minerais e vitaminas no metabolismo animal. 1st ed. Porto Alegre: Universidade Federal do Rio Grande do Sul; 2019. 37. Melo RR, Gonçalves SLS, Baccarin FJB, Vasconcelos WA, Miranda SC. Influência de altas dosagens de cloreto de potássio no desenvolvimento de espécies em cultivo hidropônico. Pubvet. 2020; 14:1-9. 38. Araújo WAG, Rostagno HS, Albino LFT, Carvalho TA, Ribeiro Neto AC. Potássio na nutrição animal. Rev Eletr Nutr. 2010; 7:1280-1291. 39. NRC. National Research Council. Nutrient requeriments of dairy cattle. 8th ed. Washinton, DC.: The National Academy Press; 2021. 40. Palomares RA. Trace Minerals Supplementation with Great Impact on Beef Cattle Immunity and Health. Anim. 2022; 12:e2839. 41. Tariq M, Abbas G, Ahmad S, Mustafa R, Sultan H, Abdullah M, Hussain I, Arshad M, Cheema UB, Hassan SU. Effect of supplementation of minerals on the productive and reproductive performance of lactating cattle and buffalo. Pakistan J Sci. 2022; 74:e425. 42. Pagno KCA Barbosa JD, Salvarani FM, Bomjardim HA, Faial KCF, Souza RS, Gava A, Perotta JH, Barros Filho IR. Micromineral concentrations (copper, cobalt, iron, molybdenum and zinc) in the liver of dairy cows from Campos Gerais Region, Paraná state, Brazil. Pesq Vet Bras. 2023; 43:e07137. 43. Jeong H, Vacanti NM. Systemic vitamin intake impacting tissue proteomes. Nut Met. 2020; 17:1-16. 44. Spears JW, Weiss WP. Invited Review: Mineral and vitamin nutrition in ruminants. Appl Anim Sci. 2014; 30:180-191. 45. Erickson PS, Kalscheur KF. Nutrition and feeding of dairy cattle. Chapter 9. (pp. 157-180). In: Bazer FW, Lamb GC, Wu G, editors. Animal Agriculture. Sustainability, Challenges and Innovations. 1st ed. Elsevier Inc.: Academic Press; 2020. 46. Kareem MM, Jabir MS. Vitamins. Chapter 3. In: Imran M, Imran A, editors. Malnutrition. 1st ed. London, UK.: IntechOpen; 2020. 47. Akram M, Munir N, Daniyal M, Egbuna C, Găman MA, Onyekere PF, et al. Vitamins and minerals: Types, sources and their functions. Chapter 9. (pp 149–172). In: Egbuna C, Tupas GD, editors. Functional foods and nutraceuticals. Switzerland, AG.: Springer, Cham; 2020. 48. Marino CT, Medeiros SR. Minerais e vitaminas na nutrição de bovinos de corte. Chapter 6. (pp. 79-93). In. Medeiros SR, Gomes RC, Bungenstab DJ, editors. Nutrição de bovinos de corte: fundamentos e aplicações. Brasília, DF: Embrapa; 2015. 49. Hodnik JJ, Ježek J, Starič J. A review of vitamin D and its importance to the health of dairy cattle. J Dairy Res. 2020; 87:84–87. 50. Alves EM, Pedreira MS, Santana CA, Silva FF. Nutrição vitamínica de vacas leiteiras. Pubvet. 2008; 2:1-17. 51. Jiang Q, Lin L, Xie F, Jin W, Zhu W, Wang M, et al. Metagenomic insights into the microbe-mediated B and K2 vitamin biosynthesis in the gastrointestinal microbiome of ruminants. Microb. 2022; 10:1-16. 52. Magan JB, O’Callaghan TF, Zheng J, Zhang L, Mandal R, Hennessy D, et al. Effect of diet on the vitamin B profile of bovine milk-based protein ingredients. Foods. 2020; 9:1-17. 53. Pinedo LA, Berenchtein B, Selem ASMA. Estudo dos processos bioquímicos da fermentação, degradação e absorção de nutrientes dos alimentos em ruminantes. Pubvet. 2008; 2:1-10. 54. DA SILVA, Emanuel Isaque Cordeiro. Formulação e Avaliação de Suplemento Mineral Para Caprinos. Instrução Técnica Para o Produtor Rural de Pernambuco, v. 3, n. 1, p. 1-4, 2023. 55. DA SILVA, Emanuel Isaque Cordeiro. Nutrição Sobre a Reprodução e Fertilidade dos Bovinos. Emanuel Isaque Cordeiro da Silva, 2021. 56. DA SILVA, Emanuel Isaque Cordeiro. Suplementação e formulação de sal mineral e mistura múltipla para bovinos. Revista Universitária Brasileira, v. 2, n. 1, 2024. (shrink)

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

Jest to fragment traktatu "O Bogu" z "Summy Teologii" św. Tomasza z Akwinu - zawiera on Wstęp, Wprowadzenie i przekład ksiąg VII - X. ks. VII - "O nieskończoności Boga" ks. VIII - "O byciu Boga w rzeczach" ks. IX - "O niezmienności Boga" ks. X - "O wieczności Boga".

We analyse Peirce's original idea concerning abduction from the perspective of a critical philosophy, the same philosophy in Peirce's background. Peirce's realism is directly related to reason and experience and has ties with the idea of abstraction. We show how the philosophical environment of science abruptly changed, specially for physics, in the last period of the XIX century and the initial period of the XX century, when science was divided in disciplines and set free from the control of philosophy. The (...) phenotype of the physicist changed from abstract into imaginative thinker. Further, abstraction was linked to metaphysics and attacked as such. Elements of phantasy and dogmatism entered the scene in place of abstraction alongside ideas taken from the observable world. We provide evidence that the scientists of the newer kind had problems understanding those of the older school. As a consequence of the problems arisen in conciliating the idea of science grounded in experience and reason with the science actually practised, the former conceptualisation was abandoned. Abduction was then expelled from science. In the late part of the XX century and the early part of our century abduction re-emerged but without its scientific attributes. -/- Influenced by a constructivist, Piagetian, perspective of science, we propose and discuss a small number of conditions that we identify as characteristics of rational abduction: rules for the rational construction of theories. We show how a classical example of belief that satisfies today's most common definition of abduction does not match the standards of scientific retroduction. We further show how the same rules indicate the detachment of Special Relativity from the observable world, a fact actually known to Einstein. Finally, the same rules indicate the initial point in the path to re-conciliate Electromagnetism with the classical view of spatial relations, a matter not possible for the imaginative scientist but not extremely difficult for the abstract scientist. We close arguing that there is an urgent need to develop a critical epistemology, and to give room in science for the abstract scientist. (shrink)

IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Co-authored letter to the APA to take a lead role in the recognition of teaching in the classroom, based on the participation in an interdisciplinary Conference on the Role of Advocacy in the Classroom back in 1995. At the time of this writing, the late Myles Brand was the President of Indiana University and a member of the IU Department of Philosophy.

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

What I call the Doxastic Puzzle, is the impression that while each of these claims seems true, at least one of them must be false: (a) Claims of the form ‘S ought to have doxastic attitude D towards p at t’ are sometimes true at t, (b) If Φ-ing at t is not within S’s effective control at t, then it is false, at t, that ‘S ought to Φ at t’, (c) For all S, p, and t, having doxastic (...) attitude D towards p at t is not within S’s effective control at t. All three natural replies to the puzzle have been pursued. Some have claimed that doxastic attitudes like believing that p are, in fact, within our effective control, or sufficiently so. Others have claimed that doxastic ought-claims, strictly speaking, are always false. And some have denied that effective control is required for the adequacy of doxastic ought-claims in general. I here pursue and examine a different strategy. In the first part of this paper, I argue that these claims are not only each true but actually not in tension with each other in the first place. Instead of attempting to dispel the puzzle, this solution proposes to evade it instead: to solve it by properly understanding, and by thereby accepting without contradiction, all of its constitutive claims. In the second part of the paper, I argue that the evasive strategy forces us to re-think our understanding of the place of normative reasons in epistemology. More exactly, it seems to come at the cost of one central way of thinking about our reasons for having doxastic attitudes, one where such reasons are good-standing exemplars of normative reasons in general. The evasive strategy, that is, threatens to lead us very quickly to a deflationary picture of epistemic normativity: it rescues normative talk, but sacrifices normative substance. I conclude by explaining why I think this is more consequential than some have made it out to be, and by suggesting that these consequences are welcome nonetheless. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

W.K. Clifford’s famous 1876 essay The Ethics of Belief contains one of the most memorable lines in the history of philosophy: "it is wrong always, everywhere, and for anyone, to believe anything upon insufficient evidence." The challenge to religious belief stemming from this moralized version of evidentialism is still widely discussed today.

On how medieval philosophy is not (only) theology.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

The claim that ordinary ethical discourse is typically true and that ethical facts are typically knowable seems in tension with the claim that ordinary ethical discourse is about features of reality friendly to a scientific worldview. Cornell Realism attempts to dispel this tension by claiming that ordinary ethical discourse is, in fact, discourse about the same kinds of things that scientific discourse is about: natural properties. We offer two novel arguments in reply. First, we identify a key assumption that we (...) find unlikely to be true. Second, we identify two features of typical natural properties that ethical properties lack. We conclude that Cornell Realism falls short of dispelling the tension between ethical conservativism and ethical naturalism. (shrink)

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I briefly explain three versions of these arguments from evil (two from William Rowe and one from Paul Draper) and the three versions of skeptical theism tailor-made to block them (from Stephen Wykstra, Michael Bergmann, and (...) Peter van Inwagen). (shrink)

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I consider four challenges to three central versions of skeptical theism: (a) the problem of generalized skepticism, (b) the problem of moral skepticism, (c) the problem of unqualified modal skepticism, and (d) the challenge from Bayesian (...) epistemology. (shrink)

The aim of this paper is to provide a conceptual framework that will help in understanding and evaluating, along social and ethical lines, the issue of killing day-old male chicks and two alternative directions of responsible innovations to solve this issue. The following research questions are addressed: Why is the killing of day-old chicks morally problematic? Are the proposed alternatives morally sound? To what extent do the alternatives lead to responsible innovation? The conceptual framework demonstrates clearly that there is a (...) moral “lock-in”, and why the killing of day-old chicks is indeed an issue. Furthermore, it is shown that both alternative directions address some important objections with regard to the killing of day-old chicks, but that they also raise new dilemmas. It also becomes clear that the framework enables and secures anticipation, reflection, deliberation with and responsiveness to stakeholders, the four dimensions of responsible innovation, in a structured way. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)